#LEAN-THEOREM-PROVER
List of the best Telegram channels tagged with #LEAN-THEOREM-PROVER.
TGList data, November 2026: 1 channels tagged #lean-theorem-prover. Top-ranked: باشگاهِ آموزش ریاضی (442 subscribers). Often tagged together with #mathematics, #ai, #openai.
باشگاهِ آموزش ریاضی
GeneralMath Training Club ☆ Olympiad ☆ University ☆ high school ☆ book ☆ Video Students who have suitable financial conditions, if you use Farsi books of Kanal a lot, please purchase the original book from the market or download the English version in order to protect the rights of the publisher.
442